Associations and Institutes

• Center of Logic, Epistemology and History of Science . UNICAMP
• Independent Institute for Logic, Cognitive Science and Development of Personality . Department of Logic . Moscow State University
• Institute for Logic, Language and Computation . Universiteit van Amsterdam
• European Association for Computer Science Logic
• American Mathematical Society
• Brazilian Society of Logic
• Kurt Gödel Society
• Association of Logic, Language and Information (FoLLI)
• Principles of Knowledge Representation and Reasoning
• Association for Automated Reasoning
• Association for Symbolic Logic

Atlases

• Engineering Logic . Roger Bishop Jones
• Factasia Logic . Roger Bishop Jones
• Mathematical Logic and Foundations . Dave Rusin

Automation of Reasoning

• An Overview of Automated Theorem Proving . Geoff Sutcliffe
• Alfie
• Gateway to Logic . Christian Gottschall
• DC Proof Online . Dan Christensen
• Automation of Reasoning . Roger Bishop Jones
• Stanford Logic Group
• Logic Software . Texas University
• Thousands of Problems for Theorem Provers . Geoff Sutcliffe . Christian Suttner
• Metamath . Norman Megill
• Constructive Logic . Bucephalus

Bibliographies and Digests

• Introduction to Logic . Harry J. Gensler
• Logic Primer . Colin Allen . Michael Hand
• Handbook of Automated Reasoning . J. Alan Robinson . Andrei Voronkov
• Non-Standard Logics . Peter Suber
• Philosophy and Computing . L. Floridi
• Foundations and Mathematical Logic . Mathematical Association of America
• Conventional Logic and Modern Logic: A Prelude to Transition . Joseph T. Clark

Libraries

• Articles . The Critical Thinking Community
• e-Prints . CLE . Unicamp
• Décio Krause . Recent Publications
• Bertrand Russell's Writings

Courses and Tutorials

• A Short Course on Finite Model Theory . Jouko Väänänen
• Elementary Logic . Garth Kemerling
• A Primer for Logic and Proof . Jeffry L. Hirst . Holly P. Hirst
• Translation Tips . Peter Suber
• Identifying the Argument of the Essay . Metropolitan Community College
• Critical Thinking . Michael Lynch
• The Logic Café . John F. Halpin
• Logic Primer . Colin Allen . Michael Hand
• Description Logics . Enrico Franconi
• Symbolic Logic . Peter Suber
• Logical Systems . Peter Suber
• Introduction to Logic . University of Oxford
• A Problem Course in Mathematical Logic . Stefan Bilaniuk

Events

• Upcoming Conferences and Workshops . Stanford Logic Group
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
• Automated Reasoning with Analytic Tableaux
• Conference on Automated Deduction (CADE)
• Advances in Modal Logic
• IEEE Symposium on Logic in Computer Science

Foundations of Mathematics

• History of Set Theory . J. Larson
• Set Theory People . Andrzej Roslanowski
• Mathematics of Set Theory . Jeremy Boden
• Foundations of Mathemathics . Alexander Sakharov
• Foundations of Mathematics . Stephen G. Simpson
• Set Theory . William Mitchell
• Set Theory . J. Larson
• New Foundations . Randall Holmes

Glossaries and Encyclopedias

• Critical Thinking Glossary . Lauren Miller
• Stanford Encyclopedia of Philosophy . Edward N. Zalta
• An Educator's Guide to Critical Thinking Terms and Concepts
• Logic Glossary . Michael Eldridge
• Logic Glossary . Mary Haight
• Glossary of First-Order Logic . Peter Suber

Discussion Groups

• Logica-l
• Sci.Philosophy.Tech . News2Mail
• Sci.Logic . News2Mail
• Set Theory . William Mitchell

Research Groups

• Logic, Interaction, Language and Computation (LILaC) . IRIT . Université Paul Sabatier
• Logic and Foundations of Science . UFSC
• Stanford Logic Group
• Philosophical Logic and Its Applications (PhiLog)
• Center of Logic, Epistemology and History of Science . Unicamp
• Nucleus of Epistemology and Logic . UFSC
• Interest Group in Pure and Applied Logics (IGPL)
• Mathematical Logic Group . Math . University of Bonn
• Research Groups in Logic and Theoretical Computer Science . Anton Setzer

Journals

• Logical Methods in Computer Science
• Australasian Journal of Logic
• Archive for Mathematical Logic
• Studia Logica
• Annals of Pure and Applied Logic
• History and Philosophy of Logic
• Journal of Applied Non-Classical Logics
• Logique et Analyse
• Logic and Philosophy of Science (L&PS)
• Modern Logic
• SORITES (Electronic Magazine of Analytical Philosophy)
• Online Journal Logical Studies
• Notre Dame Journal of Formal Logic
• Nordic Journal of Philosophical Logic
• Logic Journal of the IGPL
• Journal of Symbolic Logic
• Journal of Philosophical Logic
• Journal of Logic and Computation
• Journal of Automated Reasoning

Lambda Calculus

• Lambda Calculus . David Creswick
• Lambda Calculus Tutorial . Cody Robbins
• Lambda Tutorial . Chris Barker
• Lambda Calculus . Wikipedia

Links and Directories

• History of Set Theory . J. Larson
• Set Theory Topics . J. Larson
• ASL members . Herbert Enderton
• Set Theory People . Andrzej Roslanowski
• Critical Thinking Links. Bill Klein
• Automation of Reasoning . Roger Bishop Jones
• Reasoning . Bruce B. Janz
• Yahoo . Philosophy . Logic
• Introduction to Logic . Harry J. Gensler
• Logical Semantics . TIL
• Logic Related Links . Christian Urban
• Logic and Language Links . Caterina Caracciolo
• Real-World Reasoning . Informal Logic. Peter Suber
• Logical Systems . Peter Suber
• Science Search . Logic and Foundations
• Logic by Fields of Research . SWIF
• Logic Resources . Philosophy . Texas A&M University
• Logic Links . Gustavus Adolphus College
• Set Theory . J. Larson
• Mathematical Logic around the World . Boris Piwinger
• Logic . Denis Roegel

Books and Papers

• Elementary Set Theory with a Universal Set . M. Randall Holmes
• Socratic Proofs and Paraconsistency: A Case Study . Andrzej Wisniewski et al
• A Case for Paraconsistent Logic as a Foundation of Future Information Systems . Hendrik Decker
• Complementarity and Paraconsistency. Newton da Costa . Décio Krause
• A Short Course on Finite Model Theory . Jouko Väänänen
• Logic and Mathematics . Stephen G. Simpson
• A Taxonomy of C-Systems . Walter Carnielli . João Marcos
• Logic for Computer Science: Foundations of Automatic Theorem Proving . Jean Gallier
• Meta Math! The Quest for Omega . Gregory Chaitin
• Some Paradoxes . Geoff Wilkins
• Fundamentals of Model Theory . William Weiss . Cherie D'Mello
• Sistemas Formais Inconsistentes . Newton C. A. da Costa
• Quantum Vagueness . Décio Krause . Steven French
• Identity, Indiscernibility, and Philosophical Claims . Décio Krause . Antonio M. N. Coelho
• Possible Worlds: A Fashionable Nonsense? . Jean-Yves Béziau . Darko Surenac
• Paraconsistent Logics and Paraconsistency . Newton C. A. da Costa . Décio Krause . Otávio Bueno
• A Problem Course in Mathematical Logic . Stefan Bilaniuk
• A Primer for Logic and Proof . Jeffry L. Hirst . Holly P. Hirst
• The Power of Logic . Stephen Layman
• Practical Foundations of Mathematics . Paul Taylor

Informal Logic and Critical Thinking

• Critical Thinking Community
• Critical Thinking Glossary . Lauren Miller
• Arguments and Their Evaluation . Tom Trelogan
• Critical Thinking Links. Bill Klein
• Critical Thinking . Longview Community College
• Identifying the Argument of the Essay . Frank Edler
• Reasoning . Bruce B. Janz
• Mission: Critical . Institute for Teaching and Learning
• Informal Logic . Stanford Encyclopedia of Philosophy

Description Logics

• Description Logics . Enrico Franconi
• Description Logics . Patrick Lambrix

Logicians

• Gottlob Frege
• Newton da Costa
• ASL members . Herbert Enderton
• Décio Krause
• Michael Genesereth
• David Miller
• Edward N. Zalta
• Max Urchs
• Heinrich Wansing
• Yde Venema
• Luca Viganò
• Achille C. Varzi
• Hartley Slater
• Darko Sarenac
• Maarten de Rijke
• Greg Restall
• Anand Pillay
• Stephen Cole Kleene
• Jean-Yves Girard
• Jc Beall
• Emil Leon Post
• Tarcísio Pequeno
• István Németi
• Daniele Mundici
• Alexander S. Kechris
• Raymond Jennings
• Wilfrid Hodges
• Jacques Herbrand
• Valentin Goranko
• Harvey Friedman
• Josep Maria Font
• Solomon Feferman
• John Etchemendy
• Paul J. Cohen
• Walter Carnielli
• Carlos Caleiro
• Andreas R. Blass
• Johan van Benthem
• Diderik Batens
• Arnon Avron
• Hajnal Andréka
• Melvin Fitting
• Robert Goldblatt
• Graham Priest
• Alfred Tarski
• Kurt Gödel
• Dov Gabbay
• Jaakko Hintikka
• João Marcos
• Marcelo Coniglio
• Alonzo Church
• Jean-Yves Béziau
• Ruy de Queiroz
• Bertrand Russell
• Ernst Zermelo
• John von Neumann
• Charles Sanders Peirce
• Alan Turing
• Gerhard Gentzen
• Gregory Chaitin
• Willard Van Orman Quine

Declarative Programming

• Visual Prolog
• Amzi! Prolog
• Gödel Programming Language

Semiotics

• Semiotics for Beginners . Daniel Chandler

Symbology

• Earliest Uses of Symbols of Set Theory and Logic . Jeff Miller
• Earliest Uses of Various Mathematical Symbols . Jeff Miller
• Logic Notation on the Web . Peter Suber

Model Theory

• A Short Course on Finite Model Theory . Jouko Väänänen

Associações e Institutos

• Centro de Lógica, Epistemologia e História da Ciência . UNICAMP
• Independent Institute for Logic, Cognitive Science and Development of Personality . Department of Logic . Moscow State University
• Institute for Logic, Language and Computation . Universiteit van Amsterdam
• European Association for Computer Science Logic
• American Mathematical Society
• Sociedade Brasileira de Lógica
• Kurt Gödel Society
• Association of Logic, Language and Information (FoLLI)
• Principles of Knowledge Representation and Reasoning
• Association for Automated Reasoning
• Association for Symbolic Logic

Atlas

• Engineering Logic . Roger Bishop Jones
• Factasia Logic . Roger Bishop Jones
• Mathematical Logic and Foundations . Dave Rusin

Automatização do Raciocínio

• An Overview of Automated Theorem Proving . Geoff Sutcliffe
• Alfie
• Gateway to Logic . Christian Gottschall
• DC Proof Online . Dan Christensen
• Automation of Reasoning . Roger Bishop Jones
• Stanford Logic Group
• Logic Software . Texas University
• Thousands of Problems for Theorem Provers . Geoff Sutcliffe . Christian Suttner
• Metamath . Norman Megill
• Constructive Logic . Bucephalus

Bibliografias e Resenhas

• Lógica e Argumentação . Crítica na Rede
• Enciclopédia de Termos Lógico-Filosóficos . João Branquinho . Desidério Murcho
• Introduction to Logic . Harry J. Gensler
• Logic Primer . Colin Allen . Michael Hand
• Handbook of Automated Reasoning . J. Alan Robinson . Andrei Voronkov
• Non-Standard Logics . Peter Suber
• Philosophy and Computing . L. Floridi
• Foundations and Mathematical Logic . Mathematical Association of America
• Conventional Logic and Modern Logic: A Prelude to Transition . Joseph T. Clark

Bibliotecas

• Articles . The Critical Thinking Community
• e-Prints . CLE . Unicamp
• Décio Krause . Trabalhos Recentes
• Bertrand Russell's Writings

Cursos e Tutoriais

• Elementary Logic . Garth Kemerling
• Lógica e Aplicações . Maria Carolina Monard
• A Primer for Logic and Proof . Jeffry L. Hirst . Holly P. Hirst
• Noções de Lógica Matemática . Celina A. A. P. Abar
• Translation Tips . Peter Suber
• Identifying the Argument of the Essay . Metropolitan Community College
• Critical Thinking . Michael Lynch
• The Logic Café . John F. Halpin
• Logic Primer . Colin Allen . Michael Hand
• Description Logics . Enrico Franconi
• Symbolic Logic . Peter Suber
• Lógica Matemática . Teleaulas.com.br
• Logical Systems . Peter Suber
• Introduction to Logic . University of Oxford
• A Problem Course in Mathematical Logic . Stefan Bilaniuk

Eventos

• Upcoming Conferences and Workshops . Stanford Logic Group
• International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
• Automated Reasoning with Analytic Tableaux
• Conference on Automated Deduction (CADE)
• Advances in Modal Logic
• IEEE Symposium on Logic in Computer Science

Fundamentos de Matemática

• History of Set Theory . J. Larson
• Set Theory People . Andrzej Roslanowski
• Mathematics of Set Theory . Jeremy Boden
• Foundations of Mathemathics . Alexander Sakharov
• Foundations of Mathematics . Stephen G. Simpson
• Set Theory . William Mitchell
• Set Theory . J. Larson
• New Foundations . Randall Holmes

Glossários e Enciclopédias

• Critical Thinking Glossary . Lauren Miller
• Stanford Encyclopedia of Philosophy . Edward N. Zalta
• An Educator's Guide to Critical Thinking Terms and Concepts
• Logic Glossary . Michael Eldridge
• Logic Glossary . Mary Haight
• Glossary of First-Order Logic . Peter Suber

Grupos de Discussão

• Logica-l
• Sci.Philosophy.Tech . News2Mail
• Sci.Logic . News2Mail
• Set Theory . William Mitchell

Grupos de Pesquisa

• Centro de Linguagem, Lógica e Cognição . SPF
• Logic, Interaction, Language and Computation . IRIT
• Lógica e Fundamentos da Ciência
• Stanford Logic Group
• Philosophical Logic and Its Applications (PhiLog)
• Centro de Lógica, Epistemologia e História da Ciência . Unicamp
• Núcleo de Epistemologia e Lógica . UFSC
• Interest Group in Pure and Applied Logics (IGPL)
• Mathematical Logic Group . Math . University of Bonn
• Research Groups in Logic and Theoretical Computer Science . Anton Setzer

Jornais

• Logical Methods in Computer Science
• Disputatio.com
• Australasian Journal of Logic
• Archive for Mathematical Logic
• Studia Logica
• Annals of Pure and Applied Logic
• History and Philosophy of Logic
• Journal of Applied Non-Classical Logics
• Logique et Analyse
• Logic and Philosophy of Science (L&PS)
• Modern Logic
• SORITES (Electronic Magazine of Analytical Philosophy)
• Online Journal Logical Studies
• Notre Dame Journal of Formal Logic
• Nordic Journal of Philosophical Logic
• Logic Journal of the IGPL
• Journal of Symbolic Logic
• Journal of Philosophical Logic
• Journal of Logic and Computation
• Journal of Automated Reasoning

Lambda Cálculo

• Lambda Calculus . David Creswick
• Lambda Calculus Tutorial . Cody Robbins
• Lambda Tutorial . Chris Barker
• Lambda Calculus . Wikipedia

Liames e Diretórios

• History of Set Theory . J. Larson
• Set Theory Topics . J. Larson
• ASL members . Herbert Enderton
• Set Theory People . Andrzej Roslanowski
• Critical Thinking Links. Bill Klein
• Automation of Reasoning . Roger Bishop Jones
• Reasoning . Bruce B. Janz
• Yahoo . Philosophy . Logic
• Introduction to Logic . Harry J. Gensler
• Logical Semantics . TIL
• Logic Related Links . Christian Urban
• Logic and Language Links . Caterina Caracciolo
• Real-World Reasoning . Informal Logic. Peter Suber
• Logical Systems . Peter Suber
• Science Search . Logic and Foundations
• Logic by Fields of Research . SWIF
• Logic Resources . Philosophy . Texas A&M University
• Logic Links . Gustavus Adolphus College
• Set Theory . J. Larson
• Mathematical Logic around the World . Boris Piwinger
• Logic . Denis Roegel

Livros e Artigos

• Elementary Set Theory with a Universal Set . M. Randall Holmes
• A Short Course on Finite Model Theory . Jouko Väänänen
• Socratic Proofs and Paraconsistency: A Case Study . Andrzej Wisniewski et al
• A Case for Paraconsistent Logic as a Foundation of Future Information Systems . Hendrik Decker
• Complementarity and Paraconsistency. Newton da Costa . Décio Krause
• A Short Course on Finite Model Theory . Jouko Väänänen
• Logic and Mathematics . Stephen G. Simpson
• A Taxonomy of C-Systems . Walter Carnielli . João Marcos
• Logic for Computer Science: Foundations of Automatic Theorem Proving . Jean Gallier
• Meta Math! The Quest for Omega . Gregory Chaitin
• Some Paradoxes . Geoff Wilkins
• Fundamentals of Model Theory . William Weiss . Cherie D'Mello
• Sistemas Formais Inconsistentes . Newton C. A. da Costa
• Quantum Vagueness . Décio Krause . Steven French
• Identity, Indiscernibility, and Philosophical Claims . Décio Krause . Antonio M. N. Coelho
• Possible Worlds: A Fashionable Nonsense? . Jean-Yves Béziau . Darko Surenac
• Paraconsistent Logics and Paraconsistency . Newton C. A. da Costa . Décio Krause . Otávio Bueno
• A Problem Course in Mathematical Logic . Stefan Bilaniuk
• A Primer for Logic and Proof . Jeffry L. Hirst . Holly P. Hirst
• The Power of Logic . Stephen Layman
• Uma visão crítica da História da Computação . Cléuzio Fonseca Filho
• Practical Foundations of Mathematics . Paul Taylor

Lógica Informal e Espírito Crítico

• Critical Thinking Community
• Critical Thinking Glossary . Lauren Miller
• Arguments and Their Evaluation . Tom Trelogan
• Critical Thinking Links. Bill Klein
• Critical Thinking . Longview Community College
• Identifying the Argument of the Essay . Frank Edler
• Reasoning . Bruce B. Janz
• Mission: Critical . Institute for Teaching and Learning
• Informal Logic . Stanford Encyclopedia of Philosophy

Lógicas da Descrição

• Description Logics . Enrico Franconi
• Description Logics . Patrick Lambrix

Lógicos

• Gottlob Frege
• Newton da Costa . Jornal da Unicamp
• Newton da Costa . Eliane Morelli Abrahão
• Newton da Costa . Wikipedia
• ASL members . Herbert Enderton
• Décio Krause
• Michael Genesereth
• Newton da Costa : Pensador da Contradição . Francisco Antonio Doria et al
• David Miller
• Edward N. Zalta
• Max Urchs
• Heinrich Wansing
• Yde Venema
• Luca Viganò
• Achille C. Varzi
• Hartley Slater
• Darko Sarenac
• Maarten de Rijke
• Greg Restall
• Anand Pillay
• Stephen Cole Kleene
• Jean-Yves Girard
• Jc Beall
• Emil Leon Post
• Tarcísio Pequeno
• István Németi
• Daniele Mundici
• Alexander S. Kechris
• Raymond Jennings
• Wilfrid Hodges
• Jacques Herbrand
• Valentin Goranko
• Harvey Friedman
• Josep Maria Font
• Solomon Feferman
• John Etchemendy
• Paul J. Cohen
• Walter Carnielli
• Carlos Caleiro
• Andreas R. Blass
• Johan van Benthem
• Diderik Batens
• Arnon Avron
• Hajnal Andréka
• Melvin Fitting
• Robert Goldblatt
• Graham Priest
• Alfred Tarski
• Kurt Gödel
• Dov Gabbay
• Jaakko Hintikka
• João Marcos
• Marcelo Coniglio
• Alonzo Church
• Jean-Yves Béziau
• Ruy de Queiroz
• Bertrand Russell
• Ernst Zermelo
• John von Neumann
• Charles Sanders Peirce
• Alan Turing
• Gerhard Gentzen
• Gregory Chaitin
• Willard Van Orman Quine

Planos de Cursos

• Lógica para Informática . Ricardo Annes . PUC-RS
• Lógica para Computação . Vanderlei Moraes Rodrigues . UFRGS
• Lógica para Computação . Jomi Fred Hübner . FURB
• Lógica para Computação . UFPE
• Lógica para Computação . Flávio Oliveira . PUC-RS

Programação Declarativa

• Visual Prolog
• Amzi! Prolog
• Gödel Programming Language

Semiótica

• Semiotics for Beginners . Daniel Chandler

Simbologia

• Earliest Uses of Symbols of Set Theory and Logic . Jeff Miller
• Earliest Uses of Various Mathematical Symbols . Jeff Miller
• Logic Notation on the Web . Peter Suber

Submissões de Trabalhos

• Abstract Service for Mathematical Logic

Teoria dos Modelos

• A Short Course on Finite Model Theory . Jouko Väänänen